Compositional Performance Modelling with the TIPPtool

Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all beneficial aspects of compositional performance modelling, the TIPPtool. It incorporates methods for compositional specification as well as solution, based on state-of-the-art techniques, and wrapped in a user-friendly graphical front end. Apart from highlighting the general benefits of the tool, we also discuss some lessons learned during development and application of the TIPPtool. A non-trivial model of a real life communication system serves as a case study to illustrate benefits and limitations

A tutorial on interactive Markov chains

Interactive Markov chains (IMCs) constitute a powerful sto- chastic model that extends both continuous-time Markov chains and labelled transition systems. IMCs enable a wide range of modelling and analysis techniques and serve as a semantic model for many industrial and scientific formalisms, such as AADL, GSPNs and many more. Applications cover various engineering contexts ranging from industrial system-on-chip manufacturing to satellite designs. We present a survey of the state-of-the-art in modelling and analysis of IMCs.\ud We cover a set of techniques that can be utilised for compositional modelling, state space generation and reduction, and model checking. The significance of the presented material and corresponding tools is highlighted through multiple case studies

A First Look at Rotation in Inactive Late-Type M Dwarfs

We have examined the relationship between rotation and activity in 14 late-type (M6-M7) M dwarfs, using high resolution spectra taken at the W.M. Keck Observatory and flux-calibrated spectra from the Sloan Digital Sky Survey. Most were selected to be inactive at a spectral type where strong H-alpha emission is quite common. We used the cross-correlation technique to quantify the rotational broadening; six of the stars in our sample have vsini > 3.5 km/s. Our most significant and perplexing result is that three of these stars do not exhibit H-alpha emission, despite rotating at velocities where previous work has observed strong levels of magnetic field and stellar activity. Our results suggest that rotation and activity in late-type M dwarfs may not always be linked, and open several additional possibilities including a rotationally-dependent activity threshold, or a possible dependence on stellar parameters of the Rossby number at which magnetic/activity "saturation" takes place in fully convective stars.Comment: 8 pages, 4 figures, accepted for publication in Ap

On XML integrity constraints in the presence of DTDs

The paper investigates XML document specifications with DTDs and integrity constraints, such as keys and foreign keys. We study the consistency problem of checking whether a given specification is meaningful: that is, whether there exists an XML document that both conforms to the DTD and satisfies the constraints. We show that DTDs interact with constraints in a highly intricate way and as a result, the consistency problem in general is undecidable. When it comes to unary keys and foreign keys, the consistency problem is shown to be NP-complete. This is done by coding DTDs and integrity constraints with linear constraints on the integers. We consider the variations of the problem (by both restricting and enlarging the class of constraints), and identify a number of tractable cases, as well as a number of additional NP-complete ones. By incorporating negations of constraints, we establish complexity bounds on the implication problem, which is shown to be coNP-complete for unary keys and foreign keys.

Strategic directions in constraint programming

An abstract is not available

Feel4Diabetes healthy diet score: Development and evaluation of clinical validity

Background: The aim of this paper is to present the development of the Feel4Diabetes Healthy Diet Score and to evaluate its clinical validity. Methods: Study population consisted of 3268 adults (63% women) from high diabetes risk families living in 6 European countries. Participants filled in questionnaires at baseline and after 1 year, reflecting the dietary goals of the Feel4Diabetes intervention. Based on these questions the Healthy Diet Score was constructed, consisting of the following components: breakfast, vegetables, fruit and berries, sugary drinks, whole-grain cereals, nuts and seeds, low-fat dairy products, oils and fats, red meat, sweet snacks, salty snacks, and family meals. Maximum score for each component was set based on its estimated relative importance regarding T2DM risk, higher score indicating better quality of diet. Clinical measurements included height, weight, waist circumference, heart rate, blood pressure, and fasting blood sampling, with analyses of glucose, total cholesterol, HDL-cholesterol, LDL-cholesterol, and triglycerides. Analysis of (co) variance was used to compare the Healthy Diet Score and its components between countries and sexes using baseline data, and to test differences in clinical characteristics between score categories, adjusted for age, sex and country. Pearson''s correlations were used to study the association between changes from baseline to year 1 in the Healthy Diet Score and clinical markers. To estimate reproducibility, Pearson''s correlations were studied between baseline and 1 year score, within the control group only. Results: The mean total score was 52.8 ± 12.8 among women and 46.6 ± 12.8 among men (p < 0.001). The total score and its components differed between countries. The change in the Healthy Diet Score was significantly correlated with changes in BMI, waist circumference, and total and LDL cholesterol. The Healthy Diet Score as well as its components at baseline were significantly correlated with the values at year 1, in the control group participants. Conclusion: The Feel4Diabetes Healthy Diet Score is a reproducible method to capture the dietary information collected with the Feel4Diabetes questionnaire and measure the level of and changes in the adherence to the dietary goals of the intervention. It gives a simple parameter that associates with clinical risk factors in a meaningful manner